4

Unsteady Flow in Open Channels || Summary of Formulas

Year:
2017
Language:
english
File:
PDF, 226 KB
english, 2017
7

Meetings in Retrospect

Year:
1981
Language:
english
File:
PDF, 4.26 MB
english, 1981
8

Information security management and the human aspect in organizations

Year:
2017
Language:
english
File:
PDF, 1.06 MB
english, 2017
22

Runtime verification of cryptographic protocols

Year:
2010
Language:
english
File:
PDF, 1.18 MB
english, 2010
23

Foundations for Designing Secure Architectures

Year:
2006
Language:
english
File:
PDF, 272 KB
english, 2006
30

On a problem of Gabriel and Ulmer

Year:
2001
Language:
english
File:
PDF, 164 KB
english, 2001
34

Model-based Security Testing Using UMLsec: A Case Study

Year:
2008
Language:
english
File:
PDF, 455 KB
english, 2008
40

Games In The Semantics Of Programming Languages – An Elementary Introduction

Year:
2002
Language:
english
File:
PDF, 170 KB
english, 2002
43

A domain-specific language for cryptographic protocols based on streams

Year:
2009
Language:
english
File:
PDF, 1.38 MB
english, 2009